大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

0
索取号：
作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

0
索取号：
作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

ECOOP 2006-Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

0
索取号：
作者：Thomas、 Dave.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

0
索取号：
作者：Johnson、 Michael.、Vene、 Varmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, V盲ster氓s, Sweden, June 29 - July 1, 2006. Proceedings

0
索取号：
作者：Gorton、 Ian.、Heineman、 George T.、Crnkovi膰、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Numerical Optimization [electronic resource] : Theoretical and Practical Aspects

0
索取号：
作者：Bonnans、 J. Fr茅d茅ric.、Gilbert、 J. Charles.、Lemar茅chal、 Claude.、Sagastiz谩bal、 Claudia A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

0
索取号：
作者：Abrahamsson、 Pekka.、Marchesi、 Michele.、Succi、 Giancarlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Cinderella.2 Manual [electronic resource] : Working with The Interactive Geometry Software

0
索取号：
作者：Richter-Gebert、 J眉rgen.、Kortenkamp、 Ulrich H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

0
索取号：
作者：Dunne、 Steve.、Stoddart、 Bill.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Product-Focused Software Process Improvement [electronic resource] : 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings

0
索取号：
作者：M眉nch、 J眉rgen.、Vierimaa、 Matias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Reliable Software Technologies-Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

0
索取号：
作者：Pinho、 Lu铆s Miguel.、Gonz谩lez Harbour、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Reuse of Off-the-Shelf Components [electronic resource] : 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings

0
索取号：
作者：Morisio、 Maurizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Ontologies for Software Engineering and Software Technology [electronic resource]

0
索取号：
作者：Calero、 Coral.、Ruiz、 Francisco.、Piattini、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Robust Numerical Methods for Singularly Perturbed Differential Equations [electronic resource] : Convection-Diffusion-Reaction and Flow Problems

0
索取号：
作者：Roos、 Hans-G枚rg.、Stynes、 Martin.、Tobiska、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

0
索取号：
作者：Grieskamp、 Wolfgang.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

0
索取号：
作者：Beck、 J. Christopher.、Smith、 Barbara M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.